Model theories with truth values in a uniform space
نویسندگان
چکیده
منابع مشابه
Hyperspace of a fuzzy quasi-uniform space
The aim of this paper is to present a fuzzy counterpart method of constructing the Hausdorff quasi-uniformity of a crisp quasi-uniformity. This process, based on previous works due to Morsi cite{Morsi94} and Georgescu cite{Georgescu08}, allows to extend probabilistic and Hutton $[0,1]$-quasi-uniformities on a set $X$ to its power set. In this way, we obtain an endofunctor for each one of the c...
متن کاملTruth in Applicative Theories
We give a survey on truth theories for applicative theories. It comprises Frege structures, Universes for Frege structures, and a theory of supervaluation. We present the proof-theoretic results for these theories and show their syntactical expressive power. In particular, we present as a novelty a syntactical interpretation of ID1 in a applicative truth theory based on supervaluation.
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملNonclassical theories of truth
This chapter attempts to give a brief overview of nonclassical (-logic) theories of truth. Due to space limitations, we follow a victory-through-sacrifice policy: sacrifice details in exchange for clarity of big-picture ideas. This policy results in our giving all-too-brief treatment to certain topics that have dominated discussion in the non-classical-logic area of truth studies. (This is part...
متن کاملHypersets as truth values
The hypersets are shown to play the truth values of stable properties of nondeterministc dynamical systems. In fact, the universe of hereditory nite hypersets, with the truth value as an atom added, is shown to be the subobject classi er of the category of simulations of nondeterministic dynamical systems.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1962
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1962-10742-3